Engineering Resilient Systems : Models , Methods and Tools

Software-intensive systems are becoming widely used in such critical infrastructures as railway, airand road traffic, power management, health care and banking. In spite of drastically increased complexity and need to operate in unpredictable volatile environment, high dependability remains a must for such systems. Resilience – the ability to deliver services that can be justifiably trusted despite changes – is an evolution of the dependability concept. It adds several new dimensions to dependability concepts including adaptability to evolving requirements and proactive error prevention. To address these challenges we need novel models, methods and tools that enable explicit modeling of resilience aspects and reasoning about them. The Dagstuhl Seminar 13022 “Engineering Resilient Systems: Models, Methods and Tools” discussed the most promising techniques for achieving resilience both at the system design stage and at runtime. It brought together researchers from dependability, formal methods, fault tolerance and software engineering communities that promoted vivid cross-disciplinary discussions. Seminar 7.–11. January, 2013 – www.dagstuhl.de/13022 1998 ACM Subject Classification B.8.1 Reliability, Testing, and Fault-Tolerance, D.2.1 Requirements/Specifications, D.2.2 Design Tools and Techniques, D.2.11 Software Architectures, D.4.5 Reliability, F.3.1 Specifying and Verifying and Reasoning about Programs